Buy Used and New Lenore Zuck Books

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... 3440 (Lecture Notes in Computer Science)

by Lenore Zuck,Nicolas Halbwachs

ISBN 13: 9783540253334

Format: Illustrated (612 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later